G. H. Hughes, M. J. Cresswell; "A New Introduction to Modal Logic"